One Hundred Prisoners and a Lightbulb - Logic and Computation
نویسندگان
چکیده
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its interest is that all actions are local, i.e. not publicly observable, and part of the problem is therefore how to disseminate local results to other agents, and make them global. The various solutions to the puzzle are presented as protocols (iterated functions from agent’s local states, and histories of actions, to actions). The computational aspect is about average runtime termination under conditions of random (‘fair’) scheduling. The paper consists of three parts. First, we present different versions of the puzzle, and their solution. This includes a probabilistic version, and a version assuming synchronicity (the interval between prisoners’ interrogations is known). The latter is very informative for the prisoners, and allows different protocols (with faster expected termination). Then, we model the puzzle in an epistemic logic incorporating dynamic operators for the effects of information changing events. Such events include both informative actions, where agents become more informed about the non-changing state of the world, and factual changes, wherein the world and the facts describing it change themselves as well. Finally, we give the expected termination results of several protocols when assuming random scheduling. This paper integrates the literature and presents novel contributions. Novel are: Firstly, Protocol 2 and Protocol 4. Secondly, the modelling in dynamic epistemic logic in its entirety — we do not know of a case study that combines factual and informational dynamics in a setting of non-public events, or of a similar proposal to handle asynchronous behaviour in a dynamic epistemic logic. Thirdly, our computational results on Protocol 2 and results from manuscript (Wu 2002).
منابع مشابه
Verifying one hundred prisoners and a lightbulb
This is a case-study in knowledge representation and dynamic epistemic protocol verification. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of pr...
متن کاملCheryl's Birthday
We present four logic puzzles and after that their solutions. Joseph Yeo designed Cheryl’s Birthday. Mike Hartley came up with a novel solution for One Hundred Prisoners and a Light Bulb. Jonathan Welton designed A Blind Guess and Abby’s Birthday. Hans van Ditmarsch and Barteld Kooi authored the puzzlebookOne Hundred Prisoners and a Light Bulb [5] that contains other knowledge puzzles, and that...
متن کاملThe Comparison of Personality Traits and Cognitive Distortions of Prisoners Convicted of Robbery, Drugs, and Financial Crimes
Introduction: This study was to investigate and compare the personality traits and cognitive distortions of people convicted of robbery, drugs, and financial crimes. Methods: A descriptive causal comparison was performed among all prisoners of financial crimes, robbery, and drugs in Shirvan prison; in which two hundred forty male prisoners were selected voluntarily. Neo-five-factor questionnair...
متن کاملThe Role of Alienation, Gender Discrimination, and Stigma in excluding Women Prisoners from Interpersonal Interactions
Introduction: The lived experience in prison is a situation that places women at greater risk of social exclusion more than any other social experience and imposes particular dimensions of social, cultural, and family deprivation. Thus, the current research tries to assess the effect of sociocultural factors on the social exclusion of women prisoners. Methods: The method used in this study is s...
متن کاملOptimal intelligent control for glucose regulation
This paper introduces a novel control methodology based on fuzzy controller for a glucose-insulin regulatory system of type I diabetes patient. First, in order to incorporate knowledge about patient treatment, a fuzzy logic controller is employed for regulating the gains of the basis Proportional-Integral (PI) as a self-tuning controller. Then, to overcome the key drawback of fuzzy logic contro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010